testcase TC_BEF_FE_BV_15() runs on EutComp system TestAdapter {
  var ChargeReport v_chargeReport : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_accountStatus_transactionCounter_mileage_requested );
  f_userActions ( cmdSet , time_THR );
  f_userActions ( cmdSet , contract1 );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( ok ) ) -> value v_chargeReport {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter_accountUpdate_newTimeLimit ( v_chargeReport . transactionCounter + 1 , fx_addCurrentTimeOffset ( float2int ( int2float ( PX_TIME_BASED_THR ) / 4 . 0 ) ) ) );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( low ) ) -> value v_chargeReport {
          t_ac . stop;
          setverdict ( pass );
          pco . send ( m_chargeReportResponse_transactionCounter ( v_chargeReport . transactionCounter + 1 ) );
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_BEF_FE_BV_15: Verify that DUT sets Account Status to ‘LOW’ for time based on-board accounts

Remarks

[TS 17575-1], Clause 6.6.1 accountStatus